Explicitly use sh to run ioemu configure

instead of relying on configure executable permissions to be set.

Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>

diff --git a/tools/Makefile b/tools/Makefile
index 69fefef6473815fdcb5ea6a5f34265f810e12701..5be02fa8b44531ba7d0a50ff7ef5a7b1733d24d3 100644 (file)
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -58,7 +58,7 @@ check_clean:
 ifndef XEN_NO_IOEMU
 ioemu ioemuinstall ioemuclean:
        [ -f ioemu/config-host.h ] || \
-       (cd ioemu; ./configure --prefix=usr)
+       (cd ioemu; sh ./configure --prefix=usr)
        $(MAKE) -C ioemu $(patsubst ioemu%,%,$@)
 else
 ioemu ioemuinstall ioemuclean: